bitkeeper revision 1.7.4.1 (3e26ce440CxOh3QHOvlZ-6A2yrzXyg)

gzip image

diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index 24128f27c5244c151155159e65a1cd6041b2d727..db380ba55701e67f28d2934cb9d89621781eacaa 100644 (file)
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -1,4 +1,5 @@
 akw27@boulderdash.cl.cam.ac.uk
+iap10@labyrinth.cl.cam.ac.uk
 kaf24@labyrinth.cl.cam.ac.uk
 kaf24@plym.cl.cam.ac.uk
 kaf24@striker.cl.cam.ac.uk

diff --git a/xen-2.4.16/Makefile b/xen-2.4.16/Makefile
index 7ede454ee87bae4fd24b41b2b6cb2c3be99147f3..f23a73caa17f2b2bbf4d467bfe61baf9986c45bf 100644 (file)
--- a/xen-2.4.16/Makefile
+++ b/xen-2.4.16/Makefile
@@ -23,6 +23,7 @@ $(TARGET): make-links
        $(MAKE) -C net
        $(MAKE) -C drivers
        $(MAKE) -C arch/$(ARCH)
+       gzip -f -9 < $(TARGET) > $(TARGET).gz
 
 make-links:
        ln -sf xeno include/linux